//# run
script {
fun main() {
    while (true) return ();
    assert!(false, 42)
}
}
